#define _CRT_SECURE_NO_WARNINGS 1;
#include <stdio.h>
int main()
{
	int year, month, date;
	scanf("%4d%2d%2d", &year, &month, &date);
	printf("%4d", year);
	printf("%02d", month);
	printf("%02d", date);
	return 0;
}